Denis Diderot - PDFSEARCH.IO - Document Search Engine

Denis Diderot
Results: 132

#	Item
51	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-01-14 10:24:46 Science Philosophy of science Automata theory Finite-state machine Determinism
52	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
53	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
54	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures
55	Denis KUPERBERG born 29 marssquare Dunois, 75013 Paris +36 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-02-27 07:26:02 École Normale Supérieure de Lyon Mathematics Calculus Grandes écoles Écoles Normales Supérieures 7th arrondissement of Lyon
56	Determinisation of history-deterministic automata 1 1 Denis Kuperberg , Michał Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-04 07:26:19 Büchi automaton Deterministic automaton Parity game Muller automaton Co-Büchi automaton Automata theory Theoretical computer science Computer science
57	Denis KUPERBERG né le 29 marsrue PassemayArgenteuil +85 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: French - Date: 2015-02-27 07:24:21
58	OPINION 16 CATALONIA TODAY THURSDAY, FEBRUARY 7, 2008 Add to Reading List Source URL: www.josepbosch.net Language: English - Date: 2008-02-11 09:07:47 French literature The Libertines Encyclopédie Denis Diderot Catalonia Voltaire Barcelona Age of Enlightenment Humanities Philosophy
59	Paralellizing large search in BOINC: a case study Wenjie Fang, Universit´e Paris Diderot in co-operation with yoyo@home BOINC Workshop 2013, Grenoble, France Add to Reading List Source URL: boinc.berkeley.edu Language: English - Date: 2013-09-25 09:46:57 Berkeley Open Infrastructure for Network Computing Denis Diderot Eight queens puzzle Weird number Brute-force search Mathematics Software Yoyo@home
60	Microsoft Word - BBFL Unveils Art Commemorating Diderot Encyclopedia.docx Add to Reading List Source URL: www.furniturelibrary.com Language: English - Date: 2013-07-01 11:51:46 Materialists Encyclopedia Encyclopédie Upholstery High Point North Carolina Philosophy Visual arts Furniture Science Denis Diderot